#pragma once

namespace terms {
	namespace dl {
		struct OperatorNames {
			static const char NEGATION[];
			static const char UNION[];
			static const char INTERSECTION[];
			static const char SOME[];
			static const char ALL[];
		};
	}
}
